Simpler TAG semantics through synchronization
نویسندگان
چکیده
منابع مشابه
10 Simpler TAG semantics through synchronization
In recent years Laura Kallmeyer, Maribel Romero, and their collaborators have led research on TAG semantics through a series of papers refining a system of TAG semantics computation. Kallmeyer and Romero bring together the lessons of these attempts with a set of desirable properties that such a system should have. First, computation of the semantics of a sentence should rely only on the relatio...
متن کاملSynchronous Vector TAG for Syntax and Semantics: Control Verbs, Relative Clauses, and Inverse Linking
Recent work has used the synchronous tree-adjoining grammar (STAG) formalism to demonstrate that many of the cases in which syntactic and semantic derivations appeared to be divergent could be handled elegantly through synchronization. This research has provided syntax and semantics for diverse and complex linguistic phenomena. However, certain hard cases push the STAG formalism to its limits, ...
متن کاملDistributed Optimistic Simulation of Hierarchical Devs Models
This paper presents a new distributed simulation methodology for hierarchical Discrete Event System Specification(DEVS) models. The DEVS formalism provides a formal basis for specifying discrete event models in a modular, hierarchical form. For distributed simulation of DEVS models, a synchronization mechanism is required to control the advance of simulation clocks. The proposed methodology emp...
متن کاملConnections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees
A connection is established between the semantic theories of concurrency and communication in the works of de Bakker and Zucker, who develop a denotational semantics of concurrency using metric spaces instead of complete partial orders, and Milner, who develops an algebraic semantics of communication based upon observational equivalence between processes. His rigid synchronization trees (RSTs) ...
متن کاملLazy Object Passing in Java RMI
Though often criticized for its inherent synchronization overhead and coupling, the remote method invocation (RMI) paradigm remains one of the most popular abstractions for building distributed applications. Many authors have suggested ways to overcome its drawbacks focusing mostly on the invoker’s perspective, for example by multiplexing invocations to replicated server objects, through “futur...
متن کامل